- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Works by Warren D. Goldfarb
26 found
Order:
- Logic in the twenties: The nature of the quantifier.Warren D. Goldfarb - 1979 - Journal of Symbolic Logic 44 (3):351-368.
- I want you to bring me a slab: Remarks on the opening sections of the philosophical investigations.Warren D. Goldfarb - 1983 - Synthese 56 (3):265 - 282.
- Kripke on Wittgenstein on rules.Warren D. Goldfarb - 1982 - Journal of Philosophy 79 (September):471-488.
- The unsolvability of the gödel class with identity.Warren D. Goldfarb - 1984 - Journal of Symbolic Logic 49 (4):1237-1252.
- Deductive Logic.Warren D. Goldfarb - 2003 - Indianapolis, IN, USA: Hackett Publishing Company.This text provides a straightforward, lively but rigorous, introduction to truth-functional and predicate logic, complete with lucid examples and incisive exercises, for which Warren Goldfarb is renowned.No categories
- Logical Writings.Jacques Herbrand, Warren D. Goldfarb & Jean van Heijenoort - 1974 - Foundations of Language 11 (3):469-470.No categories
- Logicism and logical truth.Warren D. Goldfarb - 1982 - Journal of Philosophy 79 (11):692-695.No categories
- Ordinal Bounds for k-consistency.Warren D. Goldfarb - 1974 - Journal of Symbolic Logic 39 (4):693-699.
- The finite controllability of the Maslov case.Stål Aanderaa & Warren D. Goldfarb - 1974 - Journal of Symbolic Logic 39 (3):509-518.
- A decidable subclass of the minimal gödel class with identity.Warren D. Goldfarb, Yuri Gurevich & Saharon Shelah - 1984 - Journal of Symbolic Logic 49 (4):1253-1261.
- George S. Boolos. A proof of the Löwenheim-Skolem theorem. Notre Dame journal of formal logic, vol. 11 , pp. 76–78.Warren D. Goldfarb - 1973 - Journal of Symbolic Logic 38 (3):519.
- On the effective ω‐rule.Warren D. Goldfarb - 1975 - Mathematical Logic Quarterly 21 (1):409-412.No categories
- On the gödel class with identity.Warren D. Goldfarb - 1981 - Journal of Symbolic Logic 46 (2):354-364.
- Skolem reduction classes.Warren D. Goldfarb & Harry R. Lewis - 1975 - Journal of Symbolic Logic 40 (1):62-68.
- Écrits logiques.Jacques Herbrand, Jean van Heijenoort & Warren D. Goldfarb - 1974 - Synthese 27 (1):271-284.No categories
- The decision problem for formulas with a small number of atomic subformulas.Harry R. Lewis & Warren D. Goldfarb - 1973 - Journal of Symbolic Logic 38 (3):471-480.
- The Goldfarb Panel.W. V. Quine, Warren D. Goldfarb, Martin Davies, Paul Horwich & Rudolf Fara - 1994 - Philosophy International.Export citation
Bookmark - Selected Works in Logic. [REVIEW]Warren D. Goldfarb - 1971 - Journal of Philosophy 68 (17):520-530.No categories
- Hubert C. Kennedy, Biographical sketch of Giuseppe Peano. Selected works of Giuseppe Peano, translated and edited with a biographical sketch and bibliography by Hubert C. Kennedy, University of Toronto Press, Toronto and Buffalo1973, pp. 3–10. - Hubert C. Kennedy. Chronological list of the publications of Giuseppe Peano. Selected works of Giuseppe Peano, translated and edited with a biographical sketch and bibliography by Hubert C. Kennedy, University of Toronto Press, Toronto and Buffalo1973, pp. 11–29. - Hubert C. Kennedy. Bibliography on the life and works of Giuseppe Peano. Selected works of Giuseppe Peano, translated and edited with a biographical sketch and bibliography by Hubert C. Kennedy, University of Toronto Press, Toronto and Buffalo1973, pp. 30–33. - Giuseppe Peano. The operations of deductive logic. English translation of introductory chapter of 711. Selected works of Giuseppe Peano, translated and edited with a biographical sketch and bibliography by Hubert C. Kennedy, U. [REVIEW]Warren D. Goldfarb - 1980 - Journal of Symbolic Logic 45 (1):177-180.
- Ecrits Logiques. [REVIEW]Warren D. Goldfarb - 1970 - Philosophical Review 79 (4):576-578.
- Craig W.. Analysis of first-order implications. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 175–180. [REVIEW]Warren D. Goldfarb - 1973 - Journal of Symbolic Logic 38 (3):519-519.
- Jean-Pierre Bénéjam. Application du théorème de Herbrand à la présentation de thèses tératologiques du calcul des prédicats élémentaire. Comptes rendus hebdomadaires des séances de l'Académie des Sciences, ser. A vol. 268 , pp. 757–760. - Roland Fraïssé. Réflexions sur la complétude selon Herbrand. International logic review-Rassegna internazionale di logica , vol. 3 no. 1 , pp. 86–98. [REVIEW]Warren D. Goldfarb - 1975 - Journal of Symbolic Logic 40 (2):238-239.
- Klaua Dieter. Systematische Behandlung der lösbaren Fälle des Entscheidungsproblems für den Prädikatenkalkül der ersten Stufe. Zeitsckrift für mathematische Logik und Grundlagen der Mathematik, vol. 1 , pp. 264–270. [REVIEW]Warren D. Goldfarb - 1971 - Journal of Symbolic Logic 36 (1):168-168.
- Review: George S. Boolos, A Proof of the Lowenheim-Skolem Theorem. [REVIEW]Warren D. Goldfarb - 1973 - Journal of Symbolic Logic 38 (3):519-519.
- Review: Jean-Pierre Benejam, Application du Theoreme de Herbrand a la Presentation de Theses Teratologiques du Calcul des Predicats Elementaire; Roland Fraisse, Reflexions sur la Completude Selon Herbrand. [REVIEW]Warren D. Goldfarb - 1975 - Journal of Symbolic Logic 40 (2):238-239.
- Review: W. Craig, Analysis of First-Order Implications. [REVIEW]Warren D. Goldfarb - 1973 - Journal of Symbolic Logic 38 (3):519-519.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-7c76586df8-slfdl uwo